(0
 (
  ("(x 5)" 3 111)
  ("(x 4)" 111 116)
  ("(x 3)" 116 121)
  ("(x 2)" 121 131)
  ("(x 1)" 131 170)
  ("(x stable)" 4 6)
  ("(x down)" 6 8)
  ("(x stable)" 8 17)
  ("(x down)" 17 30)
  ("(x stable)" 30 38)
  ("(x down)" 38 52)
  ("(x stable)" 52 53)
  ("(x up)" 53 64)
  ("(x stable)" 64 71)
  ("(x down)" 71 92)
  ("(x stable)" 92 93)
  ("(x up)" 93 153)
  ("(x stable)" 153 170)
  ("(y 1)" 3 44)
  ("(y 2)" 44 49)
  ("(y 3)" 49 53)
  ("(y 4)" 53 56)
  ("(y 5)" 56 63)
  ("(y 6)" 63 84)
  ("(y 5)" 84 98)
  ("(y 4)" 98 110)
  ("(y 3)" 110 137)
  ("(y 4)" 137 144)
  ("(y 5)" 144 151)
  ("(y 6)" 151 170)
  ("(y up)" 4 13)
  ("(y stable)" 13 33)
  ("(y down)" 33 70)
  ("(y stable)" 70 75)
  ("(y up)" 75 123)
  ("(y stable)" 123 129)
  ("(y down)" 129 160)
  ("(y stable)" 160 170)
 ))
(1
 (
  ("(x 5)" 3 33)
  ("(x 6)" 33 41)
  ("(x 5)" 41 87)
  ("(x 4)" 87 94)
  ("(x 3)" 94 105)
  ("(x 2)" 105 112)
  ("(x 1)" 112 152)
  ("(x down)" 4 9)
  ("(x stable)" 9 12)
  ("(x down)" 12 19)
  ("(x stable)" 19 22)
  ("(x down)" 22 34)
  ("(x stable)" 34 41)
  ("(x up)" 41 55)
  ("(x stable)" 55 80)
  ("(x up)" 80 128)
  ("(x stable)" 128 133)
  ("(x up)" 133 140)
  ("(x stable)" 140 143)
  ("(x up)" 143 152)
  ("(y 1)" 3 36)
  ("(y 2)" 36 40)
  ("(y 3)" 40 43)
  ("(y 4)" 43 47)
  ("(y 5)" 47 54)
  ("(y 6)" 54 77)
  ("(y 5)" 77 87)
  ("(y 4)" 87 93)
  ("(y 3)" 93 122)
  ("(y 4)" 122 128)
  ("(y 5)" 128 136)
  ("(y 6)" 136 152)
  ("(y up)" 4 9)
  ("(y stable)" 9 10)
  ("(y up)" 10 17)
  ("(y stable)" 17 21)
  ("(y down)" 21 58)
  ("(y stable)" 58 72)
  ("(y up)" 72 111)
  ("(y stable)" 111 113)
  ("(y down)" 113 142)
  ("(y stable)" 142 148)
  ("(y up)" 148 152)
 ))
(2
 (
  ("(x 5)" 3 44)
  ("(x 6)" 44 73)
  ("(x 5)" 73 81)
  ("(x 4)" 81 86)
  ("(x 3)" 86 91)
  ("(x 2)" 91 106)
  ("(x 1)" 106 142)
  ("(x stable)" 4 16)
  ("(x up)" 16 23)
  ("(x stable)" 23 30)
  ("(x down)" 30 53)
  ("(x stable)" 53 66)
  ("(x up)" 66 119)
  ("(x stable)" 119 121)
  ("(x down)" 121 136)
  ("(x stable)" 136 138)
  ("(x up)" 138 142)
  ("(y 1)" 3 28)
  ("(y 2)" 28 32)
  ("(y 3)" 32 35)
  ("(y 4)" 35 39)
  ("(y 5)" 39 44)
  ("(y 6)" 44 68)
  ("(y 5)" 68 75)
  ("(y 4)" 75 81)
  ("(y 3)" 81 88)
  ("(y 2)" 88 112)
  ("(y 3)" 112 118)
  ("(y 4)" 118 122)
  ("(y 5)" 122 129)
  ("(y 6)" 129 142)
  ("(y stable)" 4 17)
  ("(y down)" 17 56)
  ("(y up)" 56 99)
  ("(y stable)" 99 103)
  ("(y down)" 103 136)
  ("(y stable)" 136 137)
  ("(y up)" 137 142)
 ))
(3
 (
  ("(x 5)" 3 39)
  ("(x 6)" 39 64)
  ("(x 5)" 64 72)
  ("(x 4)" 72 75)
  ("(x 3)" 75 80)
  ("(x 2)" 80 92)
  ("(x 1)" 92 125)
  ("(x down)" 4 6)
  ("(x stable)" 6 12)
  ("(x up)" 12 23)
  ("(x stable)" 23 25)
  ("(x down)" 25 48)
  ("(x stable)" 48 57)
  ("(x up)" 57 109)
  ("(x stable)" 109 118)
  ("(x up)" 118 125)
  ("(y 1)" 3 27)
  ("(y 2)" 27 31)
  ("(y 3)" 31 34)
  ("(y 4)" 34 37)
  ("(y 5)" 37 41)
  ("(y 6)" 41 62)
  ("(y 5)" 62 69)
  ("(y 4)" 69 74)
  ("(y 3)" 74 86)
  ("(y 2)" 86 90)
  ("(y 3)" 90 100)
  ("(y 4)" 100 105)
  ("(y 5)" 105 125)
  ("(y up)" 4 6)
  ("(y stable)" 6 11)
  ("(y down)" 11 50)
  ("(y stable)" 50 51)
  ("(y up)" 51 88)
  ("(y stable)" 88 89)
  ("(y down)" 89 116)
  ("(y stable)" 116 120)
  ("(y up)" 120 125)
 ))
(4
 (
  ("(x 5)" 3 81)
  ("(x 4)" 81 93)
  ("(x 3)" 93 99)
  ("(x 2)" 99 107)
  ("(x 1)" 107 148)
  ("(x stable)" 4 15)
  ("(x up)" 15 22)
  ("(x stable)" 22 23)
  ("(x down)" 23 30)
  ("(x stable)" 30 68)
  ("(x up)" 68 122)
  ("(x stable)" 122 143)
  ("(x up)" 143 148)
  ("(y 1)" 3 24)
  ("(y 2)" 24 27)
  ("(y 3)" 27 30)
  ("(y 4)" 30 34)
  ("(y 5)" 34 40)
  ("(y 6)" 40 67)
  ("(y 5)" 67 76)
  ("(y 4)" 76 80)
  ("(y 3)" 80 87)
  ("(y 2)" 87 115)
  ("(y 3)" 115 122)
  ("(y 4)" 122 127)
  ("(y 5)" 127 148)
  ("(y stable)" 4 7)
  ("(y down)" 7 50)
  ("(y stable)" 50 55)
  ("(y up)" 55 102)
  ("(y stable)" 102 103)
  ("(y down)" 103 138)
  ("(y stable)" 138 144)
  ("(y up)" 144 148)
 ))
(5
 (
  ("(x 5)" 3 25)
  ("(x 6)" 25 51)
  ("(x 5)" 51 58)
  ("(x 4)" 58 64)
  ("(x 3)" 64 71)
  ("(x 2)" 71 76)
  ("(x 1)" 76 111)
  ("(x down)" 4 35)
  ("(x stable)" 35 45)
  ("(x up)" 45 87)
  ("(x stable)" 87 88)
  ("(x down)" 88 98)
  ("(x stable)" 98 100)
  ("(x down)" 100 107)
  ("(x up)" 107 111)
  ("(y 1)" 3 17)
  ("(y 2)" 17 21)
  ("(y 3)" 21 24)
  ("(y 4)" 24 27)
  ("(y 5)" 27 32)
  ("(y 6)" 32 49)
  ("(y 5)" 49 54)
  ("(y 4)" 54 57)
  ("(y 3)" 57 62)
  ("(y 2)" 62 83)
  ("(y 3)" 83 88)
  ("(y 4)" 88 92)
  ("(y 5)" 92 101)
  ("(y 6)" 101 110)
  ("(y 5)" 110 111)
  ("(y down)" 4 40)
  ("(y stable)" 40 43)
  ("(y up)" 43 75)
  ("(y stable)" 75 76)
  ("(y down)" 76 105)
  ("(y stable)" 105 108)
  ("(y up)" 108 111)
 ))
(6
 (
  ("(x 5)" 3 86)
  ("(x 4)" 86 93)
  ("(x 3)" 93 99)
  ("(x 2)" 99 108)
  ("(x 1)" 108 153)
  ("(x down)" 4 11)
  ("(x stable)" 11 31)
  ("(x down)" 31 38)
  ("(x up)" 38 47)
  ("(x stable)" 47 51)
  ("(x down)" 51 58)
  ("(x stable)" 58 73)
  ("(x up)" 73 121)
  ("(x stable)" 121 127)
  ("(x down)" 127 134)
  ("(x stable)" 134 150)
  ("(x up)" 150 153)
  ("(y 1)" 3 32)
  ("(y 2)" 32 36)
  ("(y 3)" 36 40)
  ("(y 4)" 40 44)
  ("(y 5)" 44 49)
  ("(y 6)" 49 73)
  ("(y 5)" 73 82)
  ("(y 4)" 82 88)
  ("(y 3)" 88 93)
  ("(y 2)" 93 115)
  ("(y 3)" 115 120)
  ("(y 4)" 120 126)
  ("(y 5)" 126 153)
  ("(y up)" 4 7)
  ("(y stable)" 7 18)
  ("(y down)" 18 59)
  ("(y stable)" 59 63)
  ("(y up)" 63 105)
  ("(y stable)" 105 107)
  ("(y down)" 107 141)
  ("(y stable)" 141 150)
  ("(y up)" 150 153)
 ))
(7
 (
  ("(x 5)" 3 20)
  ("(x 6)" 20 29)
  ("(x 5)" 29 83)
  ("(x 4)" 83 88)
  ("(x 3)" 88 92)
  ("(x 2)" 92 100)
  ("(x 1)" 100 146)
  ("(x stable)" 4 11)
  ("(x down)" 11 25)
  ("(x stable)" 25 26)
  ("(x up)" 26 40)
  ("(x stable)" 40 60)
  ("(x down)" 60 67)
  ("(x stable)" 67 70)
  ("(x up)" 70 118)
  ("(x stable)" 118 123)
  ("(x down)" 123 130)
  ("(x stable)" 130 132)
  ("(x down)" 132 139)
  ("(x stable)" 139 142)
  ("(x up)" 142 146)
  ("(y 1)" 3 30)
  ("(y 2)" 30 34)
  ("(y 3)" 34 37)
  ("(y 4)" 37 41)
  ("(y 5)" 41 46)
  ("(y 6)" 46 71)
  ("(y 5)" 71 78)
  ("(y 4)" 78 85)
  ("(y 3)" 85 92)
  ("(y 2)" 92 111)
  ("(y 3)" 111 116)
  ("(y 4)" 116 121)
  ("(y 5)" 121 146)
  ("(y stable)" 4 15)
  ("(y down)" 15 57)
  ("(y stable)" 57 61)
  ("(y up)" 61 103)
  ("(y down)" 103 139)
  ("(y stable)" 139 143)
  ("(y up)" 143 146)
 ))
(8
 (
  ("(x 6)" 3 6)
  ("(x 5)" 6 37)
  ("(x 6)" 37 60)
  ("(x 5)" 60 70)
  ("(x 4)" 70 74)
  ("(x 3)" 74 78)
  ("(x 2)" 78 90)
  ("(x 1)" 90 129)
  ("(x up)" 4 22)
  ("(x stable)" 22 28)
  ("(x down)" 28 41)
  ("(x stable)" 41 57)
  ("(x up)" 57 107)
  ("(x stable)" 107 112)
  ("(x down)" 112 119)
  ("(x stable)" 119 126)
  ("(x up)" 126 129)
  ("(y 1)" 3 20)
  ("(y 2)" 20 24)
  ("(y 3)" 24 27)
  ("(y 4)" 27 30)
  ("(y 5)" 30 36)
  ("(y 6)" 36 58)
  ("(y 5)" 58 65)
  ("(y 4)" 65 70)
  ("(y 3)" 70 74)
  ("(y 2)" 74 80)
  ("(y 1)" 80 93)
  ("(y 2)" 93 99)
  ("(y 3)" 99 104)
  ("(y 4)" 104 109)
  ("(y 5)" 109 129)
  ("(y down)" 4 48)
  ("(y stable)" 48 49)
  ("(y up)" 49 87)
  ("(y stable)" 87 88)
  ("(y down)" 88 123)
  ("(y stable)" 123 125)
  ("(y up)" 125 129)
 ))
(9
 (
  ("(x 5)" 3 14)
  ("(x 6)" 14 24)
  ("(x 5)" 24 74)
  ("(x 4)" 74 83)
  ("(x 3)" 83 89)
  ("(x 2)" 89 96)
  ("(x 1)" 96 127)
  ("(x down)" 4 19)
  ("(x stable)" 19 21)
  ("(x up)" 21 42)
  ("(x stable)" 42 57)
  ("(x down)" 57 64)
  ("(x stable)" 64 65)
  ("(x up)" 65 119)
  ("(x stable)" 119 127)
  ("(y 1)" 3 24)
  ("(y 2)" 24 27)
  ("(y 3)" 27 30)
  ("(y 4)" 30 33)
  ("(y 5)" 33 39)
  ("(y 6)" 39 59)
  ("(y 5)" 59 66)
  ("(y 4)" 66 71)
  ("(y 3)" 71 81)
  ("(y 2)" 81 99)
  ("(y 3)" 99 104)
  ("(y 4)" 104 108)
  ("(y 5)" 108 114)
  ("(y 6)" 114 127)
  ("(y up)" 4 7)
  ("(y stable)" 7 9)
  ("(y down)" 9 46)
  ("(y stable)" 46 53)
  ("(y up)" 53 92)
  ("(y stable)" 92 93)
  ("(y down)" 93 121)
  ("(y stable)" 121 123)
  ("(y up)" 123 127)
 ))
(10
 (
  ("(x 5)" 3 71)
  ("(x 4)" 71 78)
  ("(x 3)" 78 85)
  ("(x 2)" 85 95)
  ("(x 1)" 95 130)
  ("(x stable)" 4 15)
  ("(x up)" 15 27)
  ("(x down)" 27 38)
  ("(x stable)" 38 39)
  ("(x up)" 39 46)
  ("(x stable)" 46 62)
  ("(x up)" 62 108)
  ("(x stable)" 108 128)
  ("(x down)" 128 130)
  ("(y 1)" 3 27)
  ("(y 2)" 27 31)
  ("(y 3)" 31 34)
  ("(y 4)" 34 37)
  ("(y 5)" 37 41)
  ("(y 6)" 41 62)
  ("(y 5)" 62 67)
  ("(y 4)" 67 72)
  ("(y 3)" 72 82)
  ("(y 2)" 82 92)
  ("(y 3)" 92 99)
  ("(y 4)" 99 106)
  ("(y 5)" 106 130)
  ("(y stable)" 4 16)
  ("(y down)" 16 51)
  ("(y stable)" 51 53)
  ("(y up)" 53 88)
  ("(y stable)" 88 89)
  ("(y down)" 89 118)
  ("(y stable)" 118 126)
  ("(y up)" 126 130)
 ))
(11
 (
  ("(x 5)" 3 30)
  ("(x 6)" 30 35)
  ("(x 5)" 35 78)
  ("(x 4)" 94 100)
  ("(x 3)" 100 107)
  ("(x 2)" 107 115)
  ("(x 1)" 115 153)
  ("(x stable)" 4 20)
  ("(x down)" 20 31)
  ("(x stable)" 31 35)
  ("(x up)" 35 53)
  ("(x stable)" 53 67)
  ("(x down)" 67 78)
  ("(x up)" 95 131)
  ("(x stable)" 131 153)
  ("(y 1)" 3 31)
  ("(y 2)" 31 36)
  ("(y 3)" 36 39)
  ("(y 4)" 39 42)
  ("(y 5)" 42 47)
  ("(y 6)" 47 67)
  ("(y 5)" 67 78)
  ("(y 3)" 94 122)
  ("(y 4)" 122 128)
  ("(y 5)" 128 153)
  ("(y stable)" 4 13)
  ("(y down)" 13 55)
  ("(y stable)" 55 57)
  ("(y up)" 57 78)
  ("(y up)" 95 106)
  ("(y stable)" 106 110)
  ("(y down)" 110 142)
  ("(y stable)" 142 147)
  ("(y up)" 147 153)
 ))
(12
 (
  ("(x 5)" 3 72)
  ("(x 4)" 72 78)
  ("(x 3)" 78 85)
  ("(x 2)" 85 92)
  ("(x 1)" 92 127)
  ("(x up)" 4 10)
  ("(x stable)" 10 18)
  ("(x down)" 18 28)
  ("(x stable)" 28 64)
  ("(x up)" 64 104)
  ("(x stable)" 104 106)
  ("(x down)" 106 116)
  ("(x stable)" 116 126)
  ("(x up)" 126 127)
  ("(y 1)" 3 27)
  ("(y 2)" 27 30)
  ("(y 3)" 30 33)
  ("(y 4)" 33 36)
  ("(y 5)" 36 43)
  ("(y 6)" 43 60)
  ("(y 5)" 60 67)
  ("(y 4)" 67 72)
  ("(y 3)" 72 101)
  ("(y 4)" 101 106)
  ("(y 5)" 106 112)
  ("(y 6)" 112 126)
  ("(y 5)" 126 127)
  ("(y up)" 4 10)
  ("(y stable)" 10 14)
  ("(y down)" 14 49)
  ("(y stable)" 49 54)
  ("(y up)" 54 85)
  ("(y stable)" 85 91)
  ("(y down)" 91 119)
  ("(y stable)" 119 120)
  ("(y up)" 120 127)
 ))
(13
 (
  ("(x 5)" 3 36)
  ("(x 6)" 36 56)
  ("(x 5)" 56 65)
  ("(x 4)" 65 74)
  ("(x 3)" 74 80)
  ("(x 2)" 80 87)
  ("(x 1)" 87 120)
  ("(x stable)" 4 8)
  ("(x down)" 8 32)
  ("(x stable)" 32 35)
  ("(x down)" 35 42)
  ("(x stable)" 42 53)
  ("(x up)" 53 99)
  ("(x down)" 99 106)
  ("(x stable)" 106 108)
  ("(x down)" 108 115)
  ("(x stable)" 115 118)
  ("(x up)" 118 120)
  ("(y 1)" 3 22)
  ("(y 2)" 22 25)
  ("(y 3)" 25 27)
  ("(y 4)" 27 30)
  ("(y 5)" 30 35)
  ("(y 6)" 35 51)
  ("(y 5)" 51 60)
  ("(y 4)" 60 65)
  ("(y 3)" 65 74)
  ("(y 2)" 74 86)
  ("(y 3)" 86 93)
  ("(y 4)" 93 98)
  ("(y 5)" 98 120)
  ("(y down)" 4 43)
  ("(y stable)" 43 44)
  ("(y up)" 44 81)
  ("(y stable)" 81 82)
  ("(y down)" 82 109)
  ("(y stable)" 109 113)
  ("(y up)" 113 120)
 ))
(14
 (
  ("(x 6)" 3 10)
  ("(x 5)" 10 67)
  ("(x 4)" 67 74)
  ("(x 3)" 74 80)
  ("(x 2)" 80 86)
  ("(x 1)" 86 119)
  ("(x stable)" 4 6)
  ("(x up)" 6 24)
  ("(x stable)" 24 26)
  ("(x down)" 26 31)
  ("(x stable)" 31 58)
  ("(x up)" 58 97)
  ("(x down)" 97 108)
  ("(x stable)" 108 113)
  ("(x down)" 113 119)
  ("(y 1)" 3 25)
  ("(y 2)" 25 28)
  ("(y 3)" 28 31)
  ("(y 4)" 31 34)
  ("(y 5)" 34 42)
  ("(y 6)" 42 55)
  ("(y 5)" 55 64)
  ("(y 4)" 64 69)
  ("(y 3)" 69 91)
  ("(y 4)" 91 96)
  ("(y 5)" 96 119)
  ("(y stable)" 4 9)
  ("(y down)" 9 49)
  ("(y stable)" 49 50)
  ("(y up)" 50 79)
  ("(y stable)" 79 83)
  ("(y down)" 83 111)
  ("(y stable)" 111 113)
  ("(y up)" 113 119)
 ))
(15
 (
  ("(x 5)" 3 9)
  ("(x 6)" 9 26)
  ("(x 5)" 26 66)
  ("(x 4)" 66 72)
  ("(x 3)" 72 83)
  ("(x 2)" 83 90)
  ("(x 1)" 90 127)
  ("(x down)" 4 10)
  ("(x stable)" 10 26)
  ("(x up)" 26 39)
  ("(x stable)" 39 57)
  ("(x up)" 57 102)
  ("(x stable)" 102 103)
  ("(x down)" 103 116)
  ("(x stable)" 116 125)
  ("(x up)" 125 127)
  ("(y 1)" 3 27)
  ("(y 2)" 27 30)
  ("(y 3)" 30 33)
  ("(y 4)" 33 36)
  ("(y 5)" 36 43)
  ("(y 6)" 43 58)
  ("(y 5)" 58 66)
  ("(y 4)" 66 70)
  ("(y 3)" 70 75)
  ("(y 2)" 75 92)
  ("(y 3)" 92 97)
  ("(y 4)" 97 102)
  ("(y 5)" 102 109)
  ("(y 6)" 109 127)
  ("(y up)" 4 6)
  ("(y stable)" 6 9)
  ("(y up)" 9 16)
  ("(y stable)" 16 19)
  ("(y down)" 19 48)
  ("(y stable)" 48 54)
  ("(y up)" 54 84)
  ("(y stable)" 84 86)
  ("(y down)" 86 118)
  ("(y stable)" 118 123)
  ("(y up)" 123 127)
 ))
(16
 (
  ("(x 5)" 3 5)
  ("(x 4)" 5 12)
  ("(x 5)" 12 45)
  ("(x 6)" 45 62)
  ("(x 5)" 62 80)
  ("(x 4)" 80 85)
  ("(x 3)" 85 88)
  ("(x 2)" 88 96)
  ("(x 1)" 96 134)
  ("(x up)" 4 6)
  ("(x stable)" 6 12)
  ("(x down)" 12 38)
  ("(x stable)" 38 41)
  ("(x down)" 41 48)
  ("(x stable)" 48 60)
  ("(x up)" 60 113)
  ("(x stable)" 113 120)
  ("(x up)" 120 127)
  ("(x stable)" 127 134)
  ("(y 1)" 3 25)
  ("(y 2)" 25 28)
  ("(y 3)" 28 31)
  ("(y 4)" 31 34)
  ("(y 5)" 34 40)
  ("(y 6)" 40 60)
  ("(y 5)" 60 67)
  ("(y 4)" 67 72)
  ("(y 3)" 72 85)
  ("(y 2)" 85 98)
  ("(y 3)" 98 104)
  ("(y 4)" 104 109)
  ("(y 5)" 109 134)
  ("(y up)" 4 6)
  ("(y stable)" 6 12)
  ("(y down)" 12 49)
  ("(y stable)" 49 53)
  ("(y up)" 53 92)
  ("(y stable)" 92 95)
  ("(y down)" 95 120)
  ("(y stable)" 120 123)
  ("(y up)" 123 134)
 ))
(17
 (
  ("(x 5)" 3 34)
  ("(x 6)" 34 67)
  ("(x 5)" 67 74)
  ("(x 4)" 74 81)
  ("(x 3)" 81 90)
  ("(x 2)" 90 99)
  ("(x 1)" 99 142)
  ("(x stable)" 4 14)
  ("(x down)" 14 39)
  ("(x stable)" 39 42)
  ("(x down)" 42 49)
  ("(x stable)" 49 51)
  ("(x down)" 51 58)
  ("(x stable)" 58 59)
  ("(x up)" 59 111)
  ("(x stable)" 111 122)
  ("(x up)" 122 129)
  ("(x stable)" 129 139)
  ("(x up)" 139 142)
  ("(y 1)" 3 24)
  ("(y 2)" 24 27)
  ("(y 3)" 27 29)
  ("(y 4)" 29 32)
  ("(y 5)" 32 37)
  ("(y 6)" 37 54)
  ("(y 5)" 54 60)
  ("(y 4)" 60 67)
  ("(y 3)" 67 74)
  ("(y 2)" 74 101)
  ("(y 3)" 101 107)
  ("(y 4)" 107 111)
  ("(y 5)" 111 119)
  ("(y 6)" 119 136)
  ("(y 5)" 136 142)
  ("(y stable)" 4 9)
  ("(y down)" 9 43)
  ("(y stable)" 43 49)
  ("(y up)" 49 84)
  ("(y stable)" 84 94)
  ("(y down)" 94 125)
  ("(y stable)" 125 130)
  ("(y up)" 130 142)
 ))
(18
 (
  ("(x 5)" 3 43)
  ("(x 6)" 43 65)
  ("(x 5)" 65 74)
  ("(x 4)" 74 83)
  ("(x 3)" 83 93)
  ("(x 2)" 93 102)
  ("(x 1)" 102 140)
  ("(x stable)" 4 13)
  ("(x down)" 13 20)
  ("(x stable)" 20 23)
  ("(x down)" 23 30)
  ("(x stable)" 30 33)
  ("(x down)" 33 47)
  ("(x stable)" 47 63)
  ("(x up)" 63 117)
  ("(x stable)" 117 140)
  ("(y 1)" 3 26)
  ("(y 2)" 26 29)
  ("(y 3)" 29 32)
  ("(y 4)" 32 35)
  ("(y 5)" 35 42)
  ("(y 6)" 42 57)
  ("(y 5)" 57 65)
  ("(y 4)" 65 70)
  ("(y 3)" 70 78)
  ("(y 2)" 78 98)
  ("(y 3)" 98 104)
  ("(y 4)" 104 109)
  ("(y 5)" 109 121)
  ("(y 6)" 121 140)
  ("(y stable)" 4 13)
  ("(y down)" 13 47)
  ("(y stable)" 47 53)
  ("(y up)" 53 87)
  ("(y stable)" 87 92)
  ("(y down)" 92 128)
  ("(y stable)" 128 135)
  ("(y up)" 135 140)
 ))
(19
 (
  ("(x 5)" 3 51)
  ("(x 6)" 51 58)
  ("(x 5)" 58 68)
  ("(x 4)" 68 73)
  ("(x 3)" 73 79)
  ("(x 2)" 79 90)
  ("(x 1)" 90 126)
  ("(x stable)" 4 20)
  ("(x up)" 20 32)
  ("(x stable)" 32 34)
  ("(x down)" 34 44)
  ("(x stable)" 44 47)
  ("(x down)" 47 54)
  ("(x stable)" 54 56)
  ("(x up)" 56 102)
  ("(x stable)" 102 126)
  ("(y 1)" 3 23)
  ("(y 2)" 23 26)
  ("(y 3)" 26 28)
  ("(y 4)" 28 32)
  ("(y 5)" 32 38)
  ("(y 6)" 38 50)
  ("(y 5)" 50 57)
  ("(y 4)" 57 63)
  ("(y 3)" 63 71)
  ("(y 2)" 71 88)
  ("(y 3)" 88 93)
  ("(y 4)" 93 97)
  ("(y 5)" 97 108)
  ("(y 6)" 108 123)
  ("(y 5)" 123 126)
  ("(y stable)" 4 10)
  ("(y down)" 10 44)
  ("(y stable)" 44 46)
  ("(y up)" 46 81)
  ("(y stable)" 81 82)
  ("(y down)" 82 114)
  ("(y stable)" 114 119)
  ("(y up)" 119 126)
 ))
(20
 (
  ("(x 5)" 3 38)
  ("(x 6)" 38 55)
  ("(x 5)" 55 65)
  ("(x 4)" 65 71)
  ("(x 3)" 71 77)
  ("(x 2)" 77 84)
  ("(x 1)" 84 121)
  ("(x stable)" 4 28)
  ("(x down)" 28 44)
  ("(x stable)" 44 52)
  ("(x up)" 52 96)
  ("(x stable)" 96 101)
  ("(x down)" 101 108)
  ("(x stable)" 108 117)
  ("(x up)" 117 121)
  ("(y 1)" 3 21)
  ("(y 2)" 21 24)
  ("(y 3)" 24 27)
  ("(y 4)" 27 30)
  ("(y 5)" 30 35)
  ("(y 6)" 35 50)
  ("(y 5)" 50 55)
  ("(y 4)" 55 59)
  ("(y 3)" 59 65)
  ("(y 2)" 65 86)
  ("(y 3)" 86 91)
  ("(y 4)" 91 94)
  ("(y 5)" 94 103)
  ("(y 6)" 103 118)
  ("(y 5)" 118 121)
  ("(y stable)" 4 5)
  ("(y down)" 5 43)
  ("(y stable)" 43 44)
  ("(y up)" 44 78)
  ("(y down)" 78 110)
  ("(y stable)" 110 113)
  ("(y up)" 113 121)
 ))
(21
 (
  ("(x 5)" 3 10)
  ("(x 6)" 10 32)
  ("(x 5)" 32 79)
  ("(x 4)" 79 85)
  ("(x 3)" 85 94)
  ("(x 2)" 94 103)
  ("(x 1)" 103 147)
  ("(x down)" 4 11)
  ("(x stable)" 11 32)
  ("(x up)" 32 42)
  ("(x stable)" 42 71)
  ("(x up)" 71 115)
  ("(x stable)" 115 146)
  ("(x up)" 146 147)
  ("(y 1)" 3 31)
  ("(y 2)" 31 34)
  ("(y 3)" 34 37)
  ("(y 4)" 37 41)
  ("(y 5)" 41 49)
  ("(y 6)" 49 60)
  ("(y 5)" 60 70)
  ("(y 4)" 70 76)
  ("(y 3)" 76 84)
  ("(y 2)" 84 98)
  ("(y 3)" 98 104)
  ("(y 4)" 104 110)
  ("(y 5)" 110 123)
  ("(y 6)" 123 143)
  ("(y 5)" 143 147)
  ("(y up)" 4 11)
  ("(y stable)" 11 18)
  ("(y down)" 18 54)
  ("(y stable)" 54 57)
  ("(y up)" 57 90)
  ("(y stable)" 90 93)
  ("(y down)" 93 125)
  ("(y stable)" 125 142)
  ("(y up)" 142 147)
 ))
(22
 (
  ("(x 6)" 3 18)
  ("(x 5)" 18 63)
  ("(x 4)" 63 69)
  ("(x 3)" 69 73)
  ("(x 2)" 73 80)
  ("(x 1)" 80 117)
  ("(x stable)" 4 14)
  ("(x up)" 14 25)
  ("(x stable)" 25 34)
  ("(x down)" 34 41)
  ("(x stable)" 41 44)
  ("(x down)" 44 49)
  ("(x stable)" 49 51)
  ("(x up)" 51 93)
  ("(x stable)" 93 109)
  ("(x down)" 109 116)
  ("(x stable)" 116 117)
  ("(y 1)" 3 24)
  ("(y 2)" 24 27)
  ("(y 3)" 27 30)
  ("(y 4)" 30 33)
  ("(y 5)" 33 40)
  ("(y 6)" 40 48)
  ("(y 5)" 48 54)
  ("(y 4)" 54 58)
  ("(y 3)" 58 67)
  ("(y 2)" 67 77)
  ("(y 3)" 77 85)
  ("(y 4)" 85 90)
  ("(y 5)" 90 97)
  ("(y 6)" 97 117)
  ("(y stable)" 4 9)
  ("(y down)" 9 44)
  ("(y stable)" 44 45)
  ("(y up)" 45 72)
  ("(y stable)" 72 74)
  ("(y down)" 74 103)
  ("(y stable)" 103 112)
  ("(y up)" 112 117)
 ))
